An Application-independent Support System for Integrated Assumption-based Temporal Reasoning
نویسندگان
چکیده
Reason maintenance systems and tem poral reasoning systems are among the most prominent application independent support systems used for complex AI ap plications and there are many applications that need both support for logical and temporal reasoning Apparently it is not enough to just provide two isolated sup port modules The logical and temporal subsystems have to be coupled in the right way We present a hybrid support system integrating assumption based logical and temporal reasoning give a formal charac terization and show what an e cient in cremental implementation of the system would look like Assumption based temporal
منابع مشابه
Context-aware Modeling for Spatio-temporal Data Transmitted from a Wireless Body Sensor Network
Context-aware systems must be interoperable and work across different platforms at any time and in any place. Context data collected from wireless body area networks (WBAN) may be heterogeneous and imperfect, which makes their design and implementation difficult. In this research, we introduce a model which takes the dynamic nature of a context-aware system into consideration. This model is con...
متن کاملAn Interactive Planning Architecture
This paper describes an interactive planning system that was developed inside an Intelligent Decision Support System aimed at supporting an operator when planning the initial attack to forest res. The planning architecture rests on the integration of case-based reasoning techniques with constraint reasoning techniques exploited, mainly, for performing temporal reasoning on temporal metric infor...
متن کاملPlanning-based Integrated Decision Support Systems
This paper describes a system that uses AI planning and representation techniques as the core of a decision support system.* The planning technology is supplemented with other AI and non-AI technologies. The overall system and initial application domain, military operations planning, are described first. We then describe the integration of SIPE-2, a generative planning system, with three indepe...
متن کاملDevelopment of an Intelligent Cavity Layout Design System for Injection Molding Dies (RESEARCH NOTE)
This paper presents the development of an Intelligent Cavity Layout Design System (ICLDS) for multiple cavity injection moulds. The system is intended to assist mould designers in cavity layout design at concept design stage. The complexities and principles of cavity layout design as well as various dependencies in injection mould design are introduced. The knowledge in cavity layout design is ...
متن کاملApplication of Independent Joint Control Strategy for Discrete-Time Servo Control of Overhead Cranes
In this study, a new servo control system is presented for the overhead crane based on discrete-time state feedback approach. It provides both robust tracking and load swing suppression. Inspired from independent joint and computed torque control in robot manipulator field, a new model is derived in which the crane actuators are considered as the main plant. The crane nonlinearities are then tr...
متن کامل